Using specification and description language to represent users' profiles in OMNET++ simulations
نویسندگان
چکیده
Omnet++ is a powerful and open-source simulation tool which is basically intended to model discrete-event systems. In particular, Omnet++ is extensively used to model and simulate computer networks. Typically, when a Wide Area Network needs to be modeled, different assumptions are made in order to simplify the complexity associated with human behavior. Nevertheless, human behavior can also be modeled, at least to some extent, by using Multi Agent Systems (MAS). This paper presents a methodology that allows connecting a MAS model –which accounts for human behavior–, with a standard Omnet++ model – which represents the behavior of a computer network. The approach presented here can be useful to obtain a better representation of the human behavior through a MAS model when using Omnet++. Furthermore, our approach simplifies the modeling process by splitting the complexity of a real system into two different parts. Therefore, on the one hand computer scientists can focus on the Omnet++ model while, on the other hand, specialists in human behavior can focus on the MAS model. Finally, our approach also facilitates the distribution of the models among different computers.
منابع مشابه
Managing cross layer information in OMNeT++ network simulations
This paper describes a general approach to dealing with cross layer information in OMNeT++-based network simulations. Rather than prescribe a specific cross layer architecture, this work is intended to address the software engineering problem of passing information between simulation modules in a sound way. An XML-based mechanism for passing information between modules using OMNeT++’s controlIn...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملFlexible Topology Description Language for Simulation Programs
The article proposes a language for the description of model topologies in discrete event simulators. The language contains an efficient way to create parametrized, flexible topologies. The language has been implemented as part of the OMNeT++ simulator. In most simulators, the support for defining the topology of the model can be improved upon. For this task, simulators either (1) do not provid...
متن کاملSpecification of Workflow Management Systems with UML
Unified Modeling Language (UML) defines a standard notation for object-oriented systems. Using UML enhances communication between domain experts, workflow specialists, software designers and other professionals with different backgrounds. UML can be used on a general level, which is intuitive for the users of workflow systems. In spite of this, UML symbols also have precisely defined semantics,...
متن کاملEnabling OMNeT++-based simulations on grid systems
Simulation involves using a model to produce results, rather than experimenting with a real system. Simulations are typically computationally intensive problems, and lend themselves for execution on large-scale PC clusters or grids. Use of grid infrastructure for discrete event simulation like communications network simulations, or queuing network simulations etc. is not prevalent; making grid ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011